abstract algebra short trick